--TEST--
Typed property must cast when used with __get()
--FILE--
<?php
  
class Test {
	public int $val;

	public function __get($name) {
		return "42";
	}
}

$test = new Test;
var_dump($test);
var_dump($test->val);

?>
--EXPECT--
object(Test)#1 (0) {
  ["val"]=>
  uninitialized(int)
}
int(42)
